Skip to content

Add gh-pages checkout in make publish#32

Merged
ak-2485 merged 1 commit intomainfrom
update-make-publish
Mar 13, 2026
Merged

Add gh-pages checkout in make publish#32
ak-2485 merged 1 commit intomainfrom
update-make-publish

Conversation

@ak-2485
Copy link
Collaborator

@ak-2485 ak-2485 commented Mar 13, 2026

Running make publish may result in an error like the following:

COQDOC -d html 
cp index.html html/index.html
cd gh-pages; git submodule update
fatal: destination path '/Users/arielkellison/Projects/LAProof/gh-pages' already exists and is not an empty directory.
fatal: clone of 'git@github.com:VeriNum/LAProof.git' into submodule path '/Users/arielkellison/Projects/LAProof/gh-pages' failed
Failed to clone 'gh-pages'. Retry scheduled
fatal: destination path '/Users/arielkellison/Projects/LAProof/gh-pages' already exists and is not an empty directory.
fatal: clone of 'git@github.com:VeriNum/LAProof.git' into submodule path '/Users/arielkellison/Projects/LAProof/gh-pages' failed
Failed to clone 'gh-pages' a second time, aborting
make[1]: *** [publish] Error 1
make: *** [invoke-coqmakefile] Error 2

Which can be fixed by removing the directory and reinitializing: rm -rf gh-pages && git submodule update --init .

But this leaves the submodule in a detached  HEAD state, so this PR updates Makefile.coq.local to add git checkout gh-pages.

@ak-2485 ak-2485 merged commit 9f5b24f into main Mar 13, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@ak-2485